Functional synthesis for linear arithmetic and sets
نویسندگان
چکیده
منابع مشابه
Synthesis for Rational Linear Arithmetic
3 Synthesis and the Fourier-Motzkin method 4 3.1 Ordered Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Linear ordered-field arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.3 Synthesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.4 The Fourier-Motzkin synth...
متن کاملArithmetic Operations on Functions from Sets into Functional Sets
In this paper x, X, X1, X2 are sets. Let Y be a functional set. The functor DOMS(Y ) is defined by: (Def. 1) DOMS(Y ) = ⋃ {dom f : f ranges over elements of Y }. Let us consider X. We say that X is complex-functions-membered if and only if: (Def. 2) If x ∈ X, then x is a complex-valued function. Let us consider X. We say that X is extended-real-functions-membered if and only if: (Def. 3) If x ∈...
متن کاملModels of Arithmetic and Subuniform Bounds for the Arithmetic Sets
It has been known for more than thirty years that the degree of a non-standard model of true arithmetic is a subuniform upper bound for the arithmetic sets (suub). Here a notion of generic enumeration is presented with the property that the degree of such an enumeration is an suub but not the degree of a non-standard model of true arithmetic. This anwers a question posed in the literature.
متن کاملModels of Arithmetic and Upper Bounds for Arithmetic Sets
We settle a question in the literature about degrees of models of true arithmetic and upper bounds for the arithmetic sets. We prove that there is a model of true arithmetic whose degree is not a uniform upper bound for the arithmetic sets. The proof involves two forcing constructions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2011
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-011-0217-7